Strengthened preventive start‐time optimisation that reduces congestion ratio under no failure scenario
نویسندگان
چکیده
منابع مشابه
Integrated Inspection Planning and Preventive Maintenance for a Markov Deteriorating System Under Scenario-based Demand Uncertainty
In this paper, a single-product, single-machine system under Markovian deterioration of machine condition and demand uncertainty is studied. The objective is to find the optimal intervals for inspection and preventive maintenance activities in a condition-based maintenance planning with discrete monitoring framework. At first, a stochastic dynamic programming model whose state variable is the ...
متن کاملModel Checking Optimisation Based Congestion Control Algorithms
Model checking has been widely applied to the verification of network protocols. Alternatively, optimisation based approaches have been proposed to reason about the large scale dynamics of networks, particularly with regard to congestion and rate control protocols such as TCP. This paper intends to provide a first bridge and explore synergies between these two approaches. We consider a series o...
متن کاملModel Checking Optimisation Based Congestion Control Models
Model checking has been widely applied for verification of network protocols, particularly on the sequences of interactions between protocol entities. Alternatively, optimisation based approaches have been proposed to reason about the large scale dynamics of networks, particularly with regard to congestion and rate control protocols such as TCP. This paper intends to provide a bridge and explor...
متن کاملProving Liveness Property under Strengthened Compassion Requirements
Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is ...
متن کاملA scenario optimisation procedure to plan annualised working hours under demand uncertainty
Annualising working hours (i.e., the possibility of irregularly distributing the total number of working hours over the course of a year) enables to adapt production capacity to fluctuations in demand. The demand, which is an essential data for an optimal planning of working time, usually depends on several and complex factors. Often, it is not possible to obtain a reliable prediction of the de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Engineering
سال: 2016
ISSN: 2051-3305,2051-3305
DOI: 10.1049/joe.2016.0179